Fixed point - PDFSEARCH.IO - Document Search Engine

Fixed point
Results: 544

#	Item
161	Under consideration for publication in J. Functional Programming 1 The Arrow Calculus Sam Lindley, Philip Wadler, and Jeremy Yallop Add to Reading List Source URL: groups.inf.ed.ac.uk Language: English - Date: 2009-10-19 06:42:21 Lambda calculus Computability theory Fixed-point combinator Arrow Quiver Natural deduction Combinatory logic Theoretical computer science Mathematics Applied mathematics
162	An Implementation of Transparent Migration on Standard Scheme Eijiro Sumii University of Tokyo Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:10 Lambda calculus Continuations Functional programming Control flow Data types Delimited continuation Call-with-current-continuation Continuation Fixed-point combinator Software engineering Computing Computer programming
163	Type Classes Without Types ∗ Ronald Garcia Andrew Lumsdaine Open Systems Lab Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:12 Lambda calculus Functional programming Type theory Data types Formal methods Monad Fixed-point combinator Map Type class Software engineering Computing Computer programming
164	Attachment 3 Observation by the Internet Fixed-Point Monitoring System (TALOT2) for DecemberTo General Internet Users According to the Internet Fixed-Point Monitoring System (TALOT2), 81,017 unwanted (one-sided Add to Reading List Source URL: www.ipa.go.jp Language: English - Date: 2013-05-23 07:51:49 Network architecture Internet Computing Internet protocol suite Internet protocols Transmission Control Protocol Port
165	Optimal Convex Partitions of Point Sets with Few Inner Points Andreas Spillner∗ Abstract We present a fixed-parameter algorithm for the Minimum Convex Partition and the Minimum Weight Convex Partition problem. On a set Add to Reading List Source URL: www.cccg.ca Language: English - Date: 2005-07-31 13:55:54 Mathematical optimization Computational geometry Dynamic programming Equations Systems engineering Algorithm Travelling salesman problem Convex hull Kirkpatrick–Seidel algorithm Operations research Mathematics Applied mathematics
166	BRICS Basic Research in Computer Science BRICS RS-97-1 Danvy & Goldberg: Partial Evaluation of the Euclidian Algorithm Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:09 Theoretical computer science Recursion Computability theory Subroutines Fixed-point combinator Euclidean algorithm Church encoding Scheme Greatest common divisor Mathematics Applied mathematics Lambda calculus
167	Doc No: N3328=Date: Project: JTC1Reply to: Niklas Gustafsson Add to Reading List Source URL: www.open-std.org Language: English - Date: 2012-01-12 10:29:28 Subroutines C++ Functional Fixed-point combinator Eval Void type Function Concepts Parameter Software engineering Computer programming Computing
168	Attachment 3 Observation by the Internet Fixed-Point Monitoring System (TALOT2) for OctoberTo General Internet Users According to the Internet Fixed-Point Monitoring System (TALOT2), 109,390 unwanted (one-sided Add to Reading List Source URL: www.ipa.go.jp Language: English - Date: 2013-05-23 07:51:48 Transmission Control Protocol Microsoft SQL Server Data Network architecture Computer network security Internet protocols Port Computing
169	Excel Syn LOANS -Syndicated Loans System EXCEL TECHNOLOGY INTERNATIONAL (HONG KONG) LIMITED 5/F, King’s Road, North Point, Hong Kong Tel: ( Add to Reading List Source URL: www.excel.com.hk Language: English - Date: 2012-03-15 11:06:01 Economics Loans Personal finance Fixed income securities Structured finance Syndicated loan Tranche Repurchase agreement Revolving credit Financial economics Finance Credit
170	Lisp and Symbolic Computation, 2, ) © 1989 Kluwer Academic Publishers--Manufactured in The Netherlands. Integrating Logic and Functional Programming* HASSAN AIT-KACI ROGER NASR Add to Reading List Source URL: www.hassan-ait-kaci.net Language: English - Date: 2013-12-06 10:30:34 Model theory Lambda calculus Predicate logic Automated theorem proving Logic programming Unification Combinatory logic Fixed-point combinator Interpretation Mathematics Mathematical logic Logic

UPDATE